Generic programming - PDFSEARCH.IO - Document Search Engine

Generic programming
Results: 1118

#	Item
31	ACT Parameterization Framework Alan Paviˇci´c Nikˇsa Bosni´c AVL-AST Zagreb, Croatia Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:54:10 Software engineering Computer programming Computing Object-oriented programming Common Lisp Object System Metaobject Generic function Metaclass Frame language Class Object Mutator method
32	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems Andrew P. Smith C´esar A. Mu˜noz and Anthony J. Narkawicz Mantas Markevicius National Institute of Aerospace NASA Langley Research Center Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-08-18 13:33:42 Mathematics Equations Polynomials Numerical analysis Algebra Operations research Global optimization System of polynomial equations Mathematical optimization Linear programming Constraint satisfaction Interval arithmetic
33	Simplebim 4 Documentation SIMPLEBIM 4 TEMPLATE GUIDE Templates are the key for using simplebim® effectively. With templates you can automate for example trimming and extending the model, editing model data, setting val Add to Reading List Source URL: simplebim.ch Language: English - Date: 2015-09-18 08:18:07 C++ Generic programming Metaprogramming Template Objective-C Industry Foundation Classes
34	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
35	Multiple dispatch Axel Rauschmayer 2ality.com Add to Reading List Source URL: dl.2ality.com Language: English - Date: 2012-12-03 03:24:17 Method Object-oriented programming Multiple dispatch Dynamic dispatch Visitor pattern Polymorphism Generic function Typeof This Inheritance Dispatch
36	Runtime Concepts for the C++ Standard Template Library Peter Pirkelbauer Sean Parent Mat Marcus Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:35:16 C++ Standard Library C++ Generic programming Object Iterator Standard Template Library Concepts Associative containers Sort Sequence container C++11 Polymorphism
37	Implementing a Generic Radix Trie in Rust Michael Sproul University of California, Santa Cruz University of Sydney Introduction Add to Reading List Source URL: michaelsproul.github.io Language: English - Date: 2015-03-30 20:03:55 Data types Procedural programming languages Functional programming Concurrent programming languages Functional languages Trie Rust Radix tree Associative array Pointer Go Immutable object
38	Polytypic Properties and Proofs in Coq Wendy Verbruggen ∗ Edsko de Vries † Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Generic programming Polytypic NP Polymorphism Functor Dependent type Map
39	Transformation and Analysis of Functional Programs Neil Mitchell Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Subroutines Programming paradigms Functional languages Generic programming Inline expansion Mathematical optimization Recursion Haskell Comparison of C Sharp and Java Functional programming
40	Scrap Your Zippers A Generic Zipper for Heterogeneous Types Michael D. Adams School of Informatics and Computing, Indiana University http://www.cs.indiana.edu/~adamsmd/ Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2012-07-27 19:30:16 Functional programming Zipper Monad Generic programming Generalizations of the derivative Tree traversal Type system